Kuratowski's lemma

库拉托夫斯基引理